set fmDimacs also for typesystemfmdimacs