Should Gamnit be more verbose?

Property definitions

gamnit :: display $ Sys :: debug_gamnit
# Should Gamnit be more verbose?
fun debug_gamnit: Bool do return false
lib/gamnit/display.nit:25,1--26,38