some bugfixes and improvements in meta prover;
tool to 1/ read files 2/ reduce to CNF 3/ detect theories within the CNF