let h = lift bs_lift h in
mk_appl h args
with Not_found ->
`Match (t,(n,ar),bs_lift,bs,args))
| `I _ | `Var _ | `Match _ -> `Match(t,(n,ar),bs_lift,bs,args)
let h = lift bs_lift h in
mk_appl h args
with Not_found ->
`Match (t,(n,ar),bs_lift,bs,args))
| `I _ | `Var _ | `Match _ -> `Match(t,(n,ar),bs_lift,bs,args)