Push constraints and changed verify order of constraints