./error_right_bool.nit:17,12--12: Type error: expected Bool, got Int