HTab-1.5.4: examples/sat/test40.frm

begin
N0;
<>( N0 & ((<>true) & ([] <>N0:[]N0)))
end