Function subtree_contains 

pub fn subtree_contains<L: Lang>(
    lang: &L,
    id: L::Id,
    pred: impl Fn(L::Id) -> bool,
) -> bool

子树中是否存在满足谓词的节点（迭代，防爆栈）。