Simplified logic on Board.java, about to test further reductions.
Was wrong, no reduction was possible. Other logic simplifications.