(aux_pattern env pattern, aux env term)
and aux_pattern env (head, hrefs, vars) =
(head, hrefs, List.map (aux_capture_var env) vars)
(aux_pattern env pattern, aux env term)
and aux_pattern env (head, hrefs, vars) =
(head, hrefs, List.map (aux_capture_var env) vars)