Fixed bug in QDIMACS formatter to normalize component id's of
quantifiers correctly