HasValue class expression not supported properly

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.