scala.tools.nsc.matching.ParallelMatching.MatchMatrix
translate outcome of the rule application into code (possible involving recursive application of rewriting)