Modified spec-reach to used vset_prev
Modified spec-reach to used vset_prev

Closes #174

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