Session 1b: Structure-Behavior-Function Program Understanding