in case a procedure is called but not defined. The parser should detect
it before. It triggers when using stop conditions because they are
declared exported and the properties.py script from the model checker
repo does not add the corresponding signal..