HTab-1.6.1: examples/sat/test32.frm

begin
A(N0 & E true)
end