pub fn has_aexpr<F>(current_node: Node, arena: &Arena<AExpr>, matches: F) -> boolwhere
    F: Fn(&AExpr) -> bool,