semantic: Take into account size changes of binary expressions when casting signedness.