Cast4ParamGeneration_after.java

public class Test {
  void foo(Object o) {
    if (o instanceof A) {
        newMethod((A) o);
    }
  }

    private void newMethod(A o) {
        o.bar();
    }
}

class A {
  void bar(){}
}