HTab-1.6.1: examples/sat/test36.frm

begin
N1;
<>true;
[]<>true;
[]N1
end