Added inv_pairs to relation to speedup vset_prev
Added inv_pairs to relation to speedup vset_prev

    * By adding inv_pairs to the relation the last
      bdd_replace is not needed and this saves one pass
      through the bdd.

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