Reification for programs before and after regalloc.