Commented out a call to the oracle in main.cpp