HasValue class expression not supported properly

[csnyulas]

A rule like like this

Class: @A*
    SubClassOf: testProp value @**

is parsed as valid, but only the class declaration axioms will be generated, while the subclass of HasValue class expression axioms are not generated.