Synthesis of non-blocking statements

--- Quote Start ---

Because of non-blocking statements, tools should give a warning in the first case.

--- Quote End ---

They don't however, and there's no reason why they should.

Due to the sequential code elaboration, the last assignment to a variable wins, all previous are ignored.

If you feel that explicite else statements improve code readability, you'll possibly use it in some cases though.