fun foo(y: Boolean) { false || false || y || y || false && (y && y || true) }