The source project of this merge request has been removed.
Fix two scripts due to bugfix in mode-checking
The previous versions work because of unifications that should not be allowed according to the modes
The previous versions work because of unifications that should not be allowed according to the modes