refactoring: moving generic tests out of SALMA
started refactoring WorldTest