test01.in revision e14630e447a41e916736b4456d4541b3a81df18f
(<0.5><1> (p0 /\ ~p1)) /\ (<0.5><1>(p3 /\ p2)) -> <1><1> (p0 \/ p3)