Wrong behavior while parsing a property call to an OCL-defined static property

[dblcdblu]

While parsing the constraints

package resource::package01
context TestClass
inv: TestClass::staticDefinedProperty2
static def: staticDefinedProperty2 = true
endpackage

the OCL parser fails with an SemanticException in front of the invariant, although, a static property should be callable this way. It seems that this behavior only occurs, if the referred static property is defined in another OCL constraint and not in the model.

Related test case: org.dresdenocl.debug.test.unit.TestDebugConstraintKinds.testDefinitionStepInto06()