fixed #243 added check for the constraint when executed. If it fails the interpreter fails execution with a message stating that the condition was false.