aiSee: Interprocedural Constant Propagation

Interprocedural constant propagation