base_div_by_zero.nit:17,16--20: Error: Definitely division by zero