further in-lab debugging on nega_max(); nega_max() seems to be working correctly