FeatureContextalias FeatureContext = Tuple!(ContractTypeWithoutCorrectInformation, "ContractTypeWithoutCorrectInformation", InputsAreNotBillsInDart, "InputsAreNotBillsInDart", NegativeAmountAndZeroAmountOnOutputBills, "NegativeAmountAndZeroAmountOnOutputBills", ContractWhereInputIsSmallerThanOutput, "ContractWhereInputIsSmallerThanOutput", FeatureGroup*, "result")