fn veto_block(e: &Expr) -> bool