Constraint Formulation Guidelines