ws1s; pred close(var1 x, var1 y, var2 M) = x (~ex1 s where s in M : s < curr)) ); all1 end: ex1 curr,exdv1,exdv2,nodek : ( validmodel(end,curr,exdv1,exdv2,nodek) & minimalmodel(end,curr,exdv1,exdv2,nodek) ) ;