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