Precise interprocedural chopping