corrected some of the unit tests on domain specific operations and added further tests on traversal and composition operations. The results need to be checked.