./examples/mnit_dino/src/dino.nit:115,5--7: Redef error: Object::app is an inherited property. To redefine it, add the redef keyword.