Checkpoint work on RCE analysis.

Basic rewrite is working; needs further refinement.