com.ibm.wala.core.tests.typeInference