Requirement Progression in Problem Frames