// IS_APPLICABLE: false fun foo(a: Boolean, b: Boolean, c: Boolean, d: Boolean) : Boolean { return !(a && b && c || !d) }