Some tests to better understand the typesafe MIMA tool