com.ibm.wala.ipa.slicer.thin