tracking assignments in theorem tester and passing random states more flexibly
tracking assignments in theorem tester and passing random states more flexibly

yuriy-chumak/OL,yuriy-chumak/OL,yuriy-chumak/OL,aisamanra/owl-lisp,aoh/owl-lisp,yuriy-chumak/OL,aisamanra/owl-lisp,yuriy-chumak/OL,aoh/owl-lisp,aoh/owl-lisp,yuriy-chumak/OL,aisamanra/owl-lisp