changes to reflect additional function in Soot