com.ibm.wala.util.math