source: cegar_dev/cegar/abstract_model/main_abstract.fair @ 31

#machine_concret1.m_state = S3;
machine_concret1_a1.state = machine_concret1_Abs1_STATE_28 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_31 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_30 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_32 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_35 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_39 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_41 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_42;
machine_concret1_a1.state = machine_concret1_Abs1_STATE_28 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_35 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_34 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_36 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_31 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_39 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_44 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_45;
machine_concret1_a1.state = machine_concret1_Abs1_STATE_28 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_31 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_30 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_32 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_35 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_39 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_41 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_42 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_34 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_44 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_38 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_40 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_36 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_45 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_43 + machine_concret1_a1.state = machine_concret1_Abs1_STATE_46;