Check that a single variable is always assigned to, in all paths, within some statement in a begin/end block list.
(vl-stmtlist-cblock-pathcheck1 varname x) → okp