HTab-1.6.1: examples/sat/test02.frm

begin
 !(P1 & P1);
 P2 | P1
end