remove the cif2pnml transformation from the dot-model branch