Added state-propagating edges and fixed a killer infinite-loop bug in heapmap journaling.