(Xronos) DeadActionElimination, adding the case when a guard contains an
if expression, Now dead code elimination eliminates unused if then or
else blocks