reverse copy constructor, use the Parser for creating copies instead
add 2 dimacs test instances