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