dimacs-sub-vars doc string enhanced