Moved UncompressedItemTree to global namespace (from solver::asp::trees)
Added constant 'numChildNodes' and fact 'initial' to user encoding input