Demand interprocedural dataflow analysis | Synapse