started refactoring tool detected_theories;
visitors for PrologTerm, updates in prover (pre-processing of parsed theory files)