Add toString for parse tree and number of schemes or facts etc