Precise Interprocedural Side-Effect Analysis