let get_loop_assigns annots e = annots.WpAnnot.find_loop_assigns e