move test domains to separate files; add congolog tests; add math planner test