Added joe's formatted RD output to while program example at end of paper; just need CFG and we're done
marked functions, etc. with | | in ReachingDefinitions