Removed test results.
Merge branch 'master' of https://github.com/fodder008/HaRe
Added stub of the generalise definition refactoring