Clearer name for the ToString Customizer for Formulas used in the DSL
Added the errors messages in the DSL, and fixed the SingleWritingChecker
BugFix: null pointer exception when the condition was null fixed
There is now an example that runs in the ModelChecker using the DSL