Print run times in developer output
Value propagation: Use E1_SimValue in the product of E2_LocalVariable and E1_Parameter.
Fix printing of run times in developer output