ignored junk after log-file (nsp2.pl)
v3: No such file or directory
Error: uncaught exception: QuitEvt 2.
Checking clause knows_current(nonceb_old(Kab,A,B))...
 knows_current(nonceb_old(X1,X2,X3)).
 _q4(X1).
 _q1(X1).
 _q2(X1).
 _q3(X1).*   0| g_from_superclause (pos = [("_q2" $ [V "X2"]),("_q2" $ [V "X2"]),("_q4"  ...,
                           rest = [],
                           neg = [],
                           andl = [("_q4" $ [V "X1"]),("_q1" $ [V "X2"]),("_q2"  ...)
       at model.ml:571
model.ml, line 571(5): 
00571 	    union {g_from_superclause (GCLAUSE (neg, a::pos), rest)
(debug) 