add scheduler data structure

• Changes to the message queue library to make verification of scheduler data structure possible
• Verifying the enqueue and dequeu operations of the scheduler data structure