updated to reflect changes in soot-infoflow