KB building seems to work within minimax; however, win checker still commented out while testing