Detecting breakage when upcasting

[lmove]

In the API, we have class B that extends class A. Class A contains the method m(). In the client code, we have class C with method n(). In n(), we declare a variable of type A and we use B's constructor. Then we invoke method m().

public class C {
   public void n() {
      A obj = new B();
      obj.m();
   }
}

If B stops inheriting from A we get a compilation and linking error. We should detect these cases.

[lmove]

Getting the same problem in the InheritanceIfazeContractSuperinterfaceSetTest, MembersClazzNestedIfazeDeleteTest and membersIfazeNestedIfazeDeleteTest modules.