Specification Fixes for AI.evaluateBoard(Board b)