add exit error if the tree translation has lost some triples