Adding a simulation of using both Big Step and Small Step semantics to evaluate Expressions and Statements.