NT := 4;
NT := 1;
if NT gt 1 then
    "SET NTHREADS:", NT;
    SetNthreads(NT);
end if;

SetAssertions(true);
//Alarm(20*60);
Alarm(3*60);
SetQuitOnError(true);

is_opt := (not l or f()) where l, f := IsIntrinsic("IsOpt");
