let
get_loop_assigns annots e = annots.
WpAnnot
.find_loop_assigns e