Removed old commented-out line from CMakeLists.txt
After calling the ASP solver, print resulting item tree as a set of facts in debug mode