Leverage the fact that if and case are expressions
Extend a bit the &&= rule