added new message to know when the interpretation of a constraint has
finished
added string for interpretation finish
Refactored (renamed) enumeration element name