let call_do_body assigns p = match assigns with | [] -> raise CallNeedFctAssigns | _ -> quantify_assigns assigns p