let
quantify_loop_assigns assigns p =
Some
(quantify_assigns assigns p)