BudgetTransactionConstraint