An Intra-Procedure Constant Propagation Analysis course project for the Course of Programming Analysis