Cleanup DIMACS parsing algorithms

... because recursion is always fun :)
Change Equal string representation