@@ bool b; expression y; @@ - b = !!(y); + b = y; @@ bool b; expression y; @@ - b = !!y; + b = y;