Function prefix_effects_readable 

pub fn prefix_effects_readable<L: Lang>(
    lang: &L,
    root: L::Id,
    target: L::Id,
) -> bool

求值顺序上位于 target 之前的兄弟子树，效果是否全部 ≤ MayRead。 （局部变量读与“非写”效果之间可重排；任何 MayThrow 及以上都阻断。）

target 必须在 root 子树内。短路的右操作数按“会求值”保守处理。