small refactoring of statement_ expression semantic
improve -Wsign-compare

Silence the warning in several sensible cases.