fix: hoist constraints on inputs to top of program

fix: hoist constraints on inputs to top of program #6814