delta in test data
naive constructing of equations for hierarchy for NotNull parameters
ad-hoc modifications of main.scala to handle hierarchy
in progress: towards testing with hierarchy
for debug: special marker for abstract methods
fix for handling inner classes
only not abstract (concrete) methods in RHS of resolve equations for overridable methods
delta in test data
delta in test data