original.name="Byte_Invalid_3"
======
>>> main.whiley
function f(byte x, byte y, byte z) -> (byte r):
    return x & y | z

---
E321 main.whiley 2,17