Rewrite: rewrite node B into new C using conditional rewrite short form
2