Using SOOT to do State Constant Propagation