HTab-1.6.1: examples/sat/test28.frm

begin
A []p1;
!p1
end