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