org.eclipse.jdt.ui.tests.refactoring/resources/UseSupertypeWherePossible/testNew16/out/Test.java

package p;

class Test{
	void test(){
		B b= new A();
		if (b instanceof A){
		} else{
		}
	}
}