Function is_checked_batch 

pub fn is_checked_batch(mangled: &MangledName) -> bool

Whether mangled is the single-prompt checked read, as opposed to the batch. The two lower the same way but differ in what a bare call returns — Completion against Completion[] — so the interception needs to tell them apart to pick the untyped default.