Rewrite: always rewrite node B into new C with common supertype
2