Relates to #141
So far, it is possible to detect a constant propagation. Now, it is just left to do something other than just printing it...