let call_do_body assigns p = quantify_assigns assigns p