Add program graph information to unrollment state