Value propagation: Add stack operations to diffs/patches, print values of if-conditions in developer output