Hello. > Sadly, soot-infoflow is broken. In AbstractInfoFlowProblem, we still > return set. > > I can make a patch, but I don't claim understanding the semantics of the > change ;) I trust this should be fixed by now? If not, please let me know. Cheers, Eric