* Changed knowledgebase_tests.cpp to gdlreasoner_tests.cpp