Added old State in pre_condition