Removed visited count in dfs
Removed visited count in dfs

    * This makes the dfs vset much easier, as counting
      visited states requires keeping a second vset with
      visited states which is thus two times slower

lordqwerty/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,thedobs/LTSmin,alaarman/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,buschko/ltsmin,alaarman/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,Sybe/composition,lordqwerty/ltsmin,buschko/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,trolando/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,trolando/ltsmin,vbloemen/ltsmin,Sybe/composition,thedobs/LTSmin,Sybe/composition,Meijuh/ltsmin,buschko/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,alaarman/ltsmin,Sybe/composition,buschko/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin