A class with header `class TEST1 [G -> TEST1 [REAL]]' which has no
assignments in it causes the compiler to incorrectly report a VJAR
violation and then die with an exception trace in the middle of
reporting the (non-existent) violation.

Discovered in Release 3.1.1.