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