Potential heuristics

algo for statically polymorphism method guessing:

further heuristics for instance-variables:

Cases:

Example:

A a = new A();
B b = new B(); If (b instanceOf A) a = (A)b;