docs: private int getBeliefCount() {
          Integer count = (Integer)introspector.getBeliefBase(ListenerMockAgent.this).get(Definitions.RECEIVED_MESSAGE_COUNT);
          if (count == null) count = 0; // Just in case, not really sure if this is necessary.
          return count;
      }