fix intnegbin feasible assertion