start simplification of correct(). Now the diamond is tamed...



git-svn-id: https://ilk.uvt.nl/svn/sources/libfolia/trunk@17501 12f355fe-0486-481a-ad91-c297ab22b4e3