restoring compatibility with soot-infoflow after refactorings there