AG((status_A=car_waiting) -> AF (status_A=cars_passing));