let quantify_loop_assigns assigns p = Some (quantify_assigns assigns p)