fix bug in infeasible duplicate