One variable's verdict at an arbitrary file

DescriptiveComplexity.Problems.Wide.DrawVerdict read at a coarse file: the machinery's exit bit as the alternating prefix over the leaf, and its specialization at a fixed-point variable and at the output.