Added operation semantics of simplified statements to report