1 FORALL forall_header forall_assignment