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 []