It should warn only when inferred type of bipedal (two-legged) if results in inferred Any of some def. In statement position, we don't care about the type, unless it implies a value was produced but unused, so that test should be applied to the legs (or arms). (-Wnonunit-statement or -if already does something like that?)

This is folded into the PR to improve -Wnonunit-statement.

This was not folded.