Rewrite: rewrite node B into new C using multiple matching rewrites choosing using lexical order
2