let get_loop_assigns_for_froms asked_bhv s =
  let do_annot a acc =
    let ca = match a with User ca | AI (_, ca) -> ca in
    match ca.annot_content with
      | AAssigns (b_list, Writes a) when annot_for_asked_bhv b_list asked_bhv ->
          Some (ca,a)
      | _ -> acc
  in Annotations.single_fold_stmt do_annot s None