 
             // write the query files
             do {
-                try querySimple.writeToURL(pathSimple, atomically: false, encoding: NSUTF8StringEncoding)
-                try queryTest1.writeToURL(pathTest1, atomically: false, encoding: NSUTF8StringEncoding)
-                try queryTest2.writeToURL(pathTest2, atomically: false, encoding: NSUTF8StringEncoding)
-                try queryTest3.writeToURL(pathTest3, atomically: false, encoding: NSUTF8StringEncoding)
-                try queryTest4.writeToURL(pathTest4, atomically: false, encoding: NSUTF8StringEncoding)
-                try queryTest5.writeToURL(pathTest5, atomically: false, encoding: NSUTF8StringEncoding)
-                try queryTest6.writeToURL(pathTest6, atomically: false, encoding: NSUTF8StringEncoding)
-                try queryAllTests.writeToURL(pathAllTests, atomically: false, encoding: NSUTF8StringEncoding)
                 
                 try querySimpleForMondoSchemeContents.writeToURL(pathQuerySimpleForMondoSchemeFile, atomically: false, encoding: NSUTF8StringEncoding)
                 

        }
        
        
        // paths to the Schemes file containing the miniKanren query
        let schemeScriptPathStringSimple = pathSimple.path!
        let schemeScriptPathStringTest1 = pathTest1.path!
        let schemeScriptPathStringTest2 = pathTest2.path!
        let schemeScriptPathStringTest3 = pathTest3.path!
        let schemeScriptPathStringTest4 = pathTest4.path!
        let schemeScriptPathStringTest5 = pathTest5.path!
        let schemeScriptPathStringTest6 = pathTest6.path!
        let schemeScriptPathStringAllTests = pathAllTests.path!
        
        let schemeScriptPathStringQuerySimpleForMondoScheme = pathQuerySimpleForMondoSchemeFile.path!
        
        

        
        let definitionText = (schemeDefinitionView.textStorage as NSAttributedString!).string
        
        
        let querySimpleForMondoSchemeContents: String = makeQuerySimpleForMondoSchemeFileString(interp_string,
                                                                                                mk_vicare_path_string: mk_vicare_path_string,
