fixing issue with dimacs - re neg of literal being retrieved when literal is referenced