X10ClassDef_c.classInvariant is wrong, i.e., it doesn't include X10ClassDecl_c.classInvariant.
I see similar code for traversing the superclass and superinterface in both:
However, no code piece actually adds X10ClassDecl_c.classInvariant to X10ClassDef_c.classInvariant
Also, there are circularity issues when calculating the real clause.
Finally, ConstrainedType_c doesn't pass its constraint to the fields in method fields