-Q ../_build/default/theories ITreeAI