Added testing files for generalise definition refactoring