Adds a RecursiveTripleNodeSimplifier