vset_sylvan: now use sylvan_protect instead of sylvan_ref/sylvan_deref for set BDDs
vset_sylvan: now use sylvan_protect instead of sylvan_ref/sylvan_deref for set BDDs

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