Runtime error: Aborted (alt/base_assert_alt5.nit:28)