added a new simple domain for testing and fixed some errors on UCT