some todo;
parse TPTP files recursively in the right order (includes are resolved immediately)