code: protected boolean isMatchingZXY(Op opA, Op opB) {
          if (opA.z() == opB.x() || opA.z() == opB.y())
              return true;
  
          return false;
      }
docs: This method is additional check, basically it qualifies possibility of InvertedPredicate MetaOp
  
  @param opA
  @param opB
  @return