Function booleanize 

pub fn booleanize(vt: &mut VarTable, body: &mut Stmt, ret_bool: bool)

Boolean inference: vars only ever assigned 0/1/comparisons/booleans and read in conditions become boolean, with v != 0 → v in conditions.