infer the tag of booleans
style fix, box 'if