The InstConstraintVisitor didn't find a protected field of the super class, like abstract Town { protected int size; } class NewYork extends Town { public int getSize() { return size; } }
Created attachment 10914 [details] Patch for InstConstraintVisitor.java
applied to svn, with a few changes.