(Xronos) Separating the XronosExprEvaluator from the
DeadActionEliminaton, Adding Assign and Store propagation