Constant Propagation
CP InterProcedural
Please send any suggestions, comments or questions to Martin@cs.uni-sb.de.