- | None, [] -> None, T.id_tac, []
- | None, to_what :: tail -> None, PT.apply_tac ~term:to_what, tail
- | Some hm, [] -> Some (pred hm), T.id_tac, []
- | Some hm, to_what :: tail -> Some (pred hm), PT.apply_tac ~term:to_what, tail
+ | None, [] -> None, false, id_tac, []
+ | None, to_what :: tail -> None, true, PT.apply_tac ~term:to_what, tail
+ | Some hm, [] -> Some (pred hm), false, id_tac, []
+ | Some hm, to_what :: tail -> Some (pred hm), true, PT.apply_tac ~term:to_what, tail