Better conversion to index trees
Clauses