implemented an interprocedural constant propagator to get rid of a certain class of false positives