YES 2.2 or x y or y x or x or y z or or x y z eq x y eq y x or x or y z or or x y z or x or y z or x y eq x y eq y x or x y or y x if_reach_1 true x y edge u v i h eq y v if_reach_2 false x y edge u v i h reach v y union i h empty union edge x y i h union i h reach x y edge u v i h eq x u if_reach_2 false x y edge u v i h union i h if_reach_2 false x y edge u v i h reach x y i h if_reach_1 false x y edge u v i h reach x y i edge u v h if_reach_1 true x y edge u v i h if_reach_2 eq y v x y edge u v i h reach x y edge u v i h if_reach_1 eq x u x y edge u v i h eq s x s y eq x y if_reach_2 false x y edge u v i h or reach x y i h reach v y union i h empty or or false y _1 or y _1 or or true y _1 or true _1 reach x y edge u v i h if_reach_1 eq x u x y edge u v i h if_reach_1 true x y edge u v i h if_reach_2 eq y v x y edge u v i h if_reach_1 false x y edge u v i h reach x y i edge u v h if_reach_2 false x y edge u v i h reach v y union i h empty if_reach_2 false x y edge u v i h reach x y i h true 1 s 1 1 2 if_reach_1 5 4 5 1 edge 3 1 2 3 4 if_reach_2 5 4 5 0 eq 2 1 2 0 false 0 0 reach 4 0 if_reach_2 5 0 true 0 0 reach 4 3 4 1 eq 2 0 0 0 1 union 2 1 2 1 or 2 0 empty 0 1 if_reach_1 5 0 or 2 0 union 2 0 if_reach_2 false x y edge u v i h reach x y i h if_reach_2 false x y edge u v i h reach v y union i h empty if_reach_1 true x y edge u v i h if_reach_2 eq y v x y edge u v i h union edge x y i h edge x y union i h union empty h h eq 0 s x false reach x y edge u v i h if_reach_1 eq x u x y edge u v i h if_reach_1 false x y edge u v i h reach x y i edge u v h true 1 s 1 1 2 if_reach_1 5 2 4 1 edge 3 1 2 3 4 if_reach_2 5 0 eq 2 1 2 1 false 0 1 reach 4 0 if_reach_2 5 0 true 0 1 reach 4 1 3 2 eq 2 0 0 0 1 union 2 1 2 1 or 2 0 empty 0 1 if_reach_1 5 0 or 2 0 union 2 0 if_reach_1 false x y edge u v i h reach x y i edge u v h reach x y edge u v i h if_reach_1 eq x u x y edge u v i h union edge x y i h edge x y union i h union empty h h eq 0 s x false if_reach_2 false x y edge u v i h or reach x y i h reach v y union i h empty false reach x y edge u v i h eq x u false or x or y z or x y or x or y z or or x y z or x y or y x true if_reach_2 false x y edge u v i h union i h false union edge x y i h union i h true 1 s 1 1 2 if_reach_1 5 1 edge 3 1 2 3 4 if_reach_2 5 0 eq 2 1 2 1 false 0 1 reach 4 0 if_reach_2 5 0 true 0 2 reach 4 3 2 eq 2 0 0 0 1 union 2 1 2 1 or 2 0 empty 0 1 if_reach_1 5 0 or 2 0 union 2 1 0 union edge x y i h union i h union edge x y i h edge x y union i h union empty h h eq 0 s x false if_reach_1 true x y edge u v i h eq y v false eq x y eq y x eq s x s y eq x y true 1 s 1 1 2 if_reach_1 5 1 edge 3 1 2 3 4 if_reach_2 5 0 eq 2 1 2 1 false 0 1 reach 4 0 if_reach_2 5 0 true 0 1 reach 4 3 2 eq 2 1 2 0 0 0 1 union 2 1 2 1 or 2 0 empty 0 1 if_reach_1 5 0 or 2 0 union 2 0 eq s x s y eq x y union edge x y i h edge x y union i h union empty h h eq 0 s x false eq x y eq y x true eq x y eq y x true or x y or y x or or false y _1 or y _1 or x or y z or or x y z or or true y _1 or true _1 or x or y z or x y true 1 s 1 1 2 if_reach_1 5 1 edge 3 1 2 3 4 if_reach_2 5 0 eq 2 1 2 0 false 0 1 reach 4 0 if_reach_2 5 0 true 0 1 reach 4 3 2 eq 2 0 0 0 1 union 2 1 2 1 or 2 1 2 1 empty 0 1 if_reach_1 5 0 or 2 1 2 0 union 2 0 or x or y z or x y or or true y _1 or true _1 or or false y _1 or y _1 union edge x y i h edge x y union i h or x or y z or or x y z or x y or y x or true y true union empty h h or false y y eq 0 s x false or x or y z or or x y z or x y or y x true NaTT 1.7