pub fn preorder_expr_with_ctx_checker(
    start: &Expr,
    check_ctx: &dyn Fn(&Expr) -> bool,
    cb: &mut dyn FnMut(WalkEvent<Expr>) -> bool,
)