in progress: porting result inference
using staged solver for contract equations, so far - so good
all encountered keys are resolved for all analyses now

+ side effect: more annotations are inferred
resurrecting inference for virtual methods for NotNull parameters
new test data
new test IDEA annotations