Value propagation: Extend E1_Sim_Struct into E1_SimValue. Use E1_SimValue in the product of E1_Dot.
Dead code elimination: Perform dead code elimination on all sub-statements and sub-expressions of a statement. Improved handling of E1_Surround.
Give unique names to cloned functions.