DealintTest.dealtCorrectly() fails, but correctly!