HW2: 2nd commit
(1). Fix small bugs in AbaloneLogicTest: line 133.
(2). Add test file AbaloneStateTest to test AbaloneState.
(3). AbaloneState makes progress