String_of for constaints and Constraint_of for the model are done