Safety pragmas: syntax checking fails to identify safety pragmas with invalid attributes
If you use the name of a method, TTool accepts the safety pragma and starts the verification with UPPAAL that fails. Example: A[] Block.methodName == true is accepted by TTool.