static budget subgroup of budget, 1 assertions