HTab-1.5.4: examples/sat/test38.frm
% had bad model building at some point with chain blocking
signature { automatic } theory
{
A<><>!N1;
[](P1 v N1) & []!P1
}
% had bad model building at some point with chain blocking
signature { automatic } theory
{
A<><>!N1;
[](P1 v N1) & []!P1
}