Add comments
Add waiting queue invariants
Fix missing argument of the command line's option