added ignored test for skolem function
Merge branch 'master' of https://github.com/Tommy-Neubert/sopremo-cleansing
final entity mapping transformation from spicy tree
finish
Further implemented SNM
Merge branch 'master' of https://github.com/AHeise/sopremo-cleansing
added some testcases for function calls, started to refactor