let do_on_term (preaction_expr,postaction_expr) t =
let preaction_term t =
match preaction_expr with None -> t | Some preaction_expr ->
let e,env = !Db.Properties.Interp.force_term_to_exp t in
let e = map_under_info preaction_expr e in
!Db.Properties.Interp.force_back_exp_to_term env e
in
let postaction_term t =
match postaction_expr with None -> t | Some postaction_expr ->
let e,env = !Db.Properties.Interp.force_term_to_exp t in
let e = map_under_info postaction_expr e in
!Db.Properties.Interp.force_back_exp_to_term env e
in
ChangeDoChildrenPost (preaction_term t, postaction_term)