update to match changes in soot-infoflow