Added test for showing that MiMa doesn't check the generic signature

The test should be failing once we have a fix for Re #40