Tie Breaking for States in Priority Queue
Refactoring
Merge branch 'Tie_Breaking'