com.ibm.wala.core.tests.basic