Actually it was again a case where I had forgotten to compile the unmanaged DLL that an Eiffel project needs. After removing the check statement, I saw it was System.MissingMethodException and got the attached screenshot.