Call seize on a mobile which is in paged state, leaves mobile in the access
list of cell for which seize failed. The mobile can be removed from the
access list using a failed disconnect, however this leaves the mobile in an
unsable state. To fix this would need to add new function to cell to
forcibly remove mobile from access list.

Example output for this case given below:

  mps> dump
  MPS::dump {
  Mobiles::dump {
  Mobile::dump {
    id = 2
    state = IDLE
  }
  Mobile::dump {
    id = 3
    state = IDLE
  }
  Mobile::dump {
    id = 4
    state = IDLE
  }
  Mobile::dump {
    id = 5
    state = IDLE
  }
  Mobile::dump {
    id = 1
    state = IDLE
  }
  }
  Cell::dump {
    id = 2
    freqs = 3 4
  }
  Cell::dump {
    id = 1
    freqs = 1 2
  }
  }
  mps> page 1
  Operation succeeded - Cell::page()
  Operation succeeded - Cell::page()
  Operation succeeded - MPS::allCellsPage()
  Operation succeeded - Mobile::bePaged()
  Operation succeeded - Mobiles::bePaged()
  Operation succeeded - MPS::page()
  res = 0
  mid = 1
  mps> dump
  MPS::dump {
  Mobiles::dump {
  Mobile::dump {
    id = 2
    state = IDLE
  }
  Mobile::dump {
    id = 3
    state = IDLE
  }
  Mobile::dump {
    id = 4
    state = IDLE
  }
  Mobile::dump {
    id = 5
    state = IDLE
  }
  Mobile::dump {
    id = 1
    state = PAGED
  }
  }
  Cell::dump {
    id = 2
    freqs = 3 4
  }
  Cell::dump {
    id = 1
    freqs = 1 2
  }
  }
  mps> callSeize 1
  Operation succeeded - Mobile::locate()
  Operation succeeded - Mobiles::locate()
  Operation succeeded - Cell::beCallSeized()
  Precondition failed : Mobile::callSeize()
  Call failed : Mobiles::callSeize()
  Call failed : MPS::callSeize()
  res = -1
  mid = 1
  cid = 2
  pid = 0
  invalid command
  mps> dump
  MPS::dump {
  Mobiles::dump {
  Mobile::dump {
    id = 2
    state = IDLE
  }
  Mobile::dump {
    id = 3
    state = IDLE
  }
  Mobile::dump {
    id = 4
    state = IDLE
  }
  Mobile::dump {
    id = 5
    state = IDLE
  }
  Mobile::dump {
    id = 1
    state = PAGED
    cell = 2
  }
  }
  Cell::dump {
    id = 2
    freqs = 3 4
    access = 1
  }
  Cell::dump {
    id = 1
    freqs = 1 2
  }
  }
  mps> disconnect 1
  Operation succeeded - Mobile::cell()
  Operation succeeded - Mobiles::cell()
  Operation succeeded - Cell::disconnect()
  Precondition failed : Mobile::beDisconnected()
  Call failed : Mobiles::beDisconnected()
  Call failed : MPS::disconnect()
  res = -1
  mid = 1
  invalid command
  mps> dump
  MPS::dump {
  Mobiles::dump {
  Mobile::dump {
    id = 2
    state = IDLE
  }
  Mobile::dump {
    id = 3
    state = IDLE
  }
  Mobile::dump {
    id = 4
    state = IDLE
  }
  Mobile::dump {
    id = 5
    state = IDLE
  }
  Mobile::dump {
    id = 1
    state = PAGED
    cell = 2
  }
  }
  Cell::dump {
    id = 2
    freqs = 3 4
  }
  Cell::dump {
    id = 1
    freqs = 1 2
  }
  }
  mps> 
