vset_lddmc: return src set in vset_copy_match in lddmc when called with empty projection.
vset: added vset_project_minus and default implementation
pins2lts-sym: use vset_project_minus
vset_sylvan: update sylvan and fix for changed sylvan_cube AP and update submodule git repositoryI
vset_lddmc: implement new set_project_minus
vset_lddmc: add debug check against multi-threaded use of vset_lddmc sets/relations
vset_lddmc: fix bug when dst==left or dst==right