docs: boolean isPredecessorOf(final ControlFlowBlock possibleSuccessor) {
          boolean result = false;
          for (final ControlFlowBlock directSuccessor : successors) {
              if (directSuccessor.equals(possibleSuccessor) || directSuccessor.isPredecessorOf(possibleSuccessor)) {
                  result = true;
                  break;
              }
          }
          return result;
      }