let quantify_at_vars env l p = W.quantify_at_vars env l p