editing run_tests script and snl.ml