let get_loop_assigns_for_from s =
let do_ca ca acc = match ca.annot_content with
| AAssigns (_b_list, a) -> (* TODO: use b_list *) a::acc
| _ -> acc
in
let do_annot a acc = match a with
| Before (User ca | AI (_, ca)) -> do_ca ca acc
| After _ -> acc
in Annotations.single_fold_stmt do_annot s []