Precise interprocedural chopping | Synapse