- let term_to_fold =
- match constant_args with
- [] -> C.Const (uri,exp_named_subst')
- | _ -> C.Appl ((C.Const(uri,exp_named_subst'))::constant_args)
+ let term_to_fold, delta_expanded_term_to_fold =
+ let body' = CicSubstitution.subst_vars exp_named_subst' body in
+ match constant_args with
+ [] -> C.Const (uri,exp_named_subst'), body'
+ | _ ->
+ C.Appl ((C.Const (uri,exp_named_subst'))::constant_args),
+ C.Appl (body'::constant_args)