pub fn booleanize(vt: &mut VarTable, body: &mut Stmt)
Boolean inference: vars only ever assigned 0/1/comparisons/booleans and read in conditions become boolean, with v != 0 → v in conditions.
boolean
v != 0
v