Add ConstraintFormatter