Description
There should be an option for an inlining-based InterproceduralAnalysis to properly emulate the concrete call evaluation with no support for recursions and for smashing context together.