else
let prequel =
if
- (match skip_initial_lambdas_internal with
- None
- | Some (`Later _) -> true
- | Some (`Now _) -> false)
- && conclude.Con.conclude_method = "Intros+LetTac"
+ (not is_top_down) &&
+ conclude.Con.conclude_method = "Intros+LetTac"
then
let name = get_name name in
[B.V ([],