Nested iff should be combined