vset: Added set_update to vectorset and implementation in vset_lddmc
vset_lddmc: fix incorrect relprev and solve issues with match
pins2lts-sym: streamline find_trace_to
pins2lts-sym: fix handling cpy in find_action
vset_lddmc: rel_add now calls rel_add_cpy
Fix sloppy code by senior team member
typo in pins.c
fix header when printing combined matrix
count short vectors in group_explored
only over approximate W to + when domain separates rw but not copy
clean up print dm
remove r2w functions and introduce expand and project matrix.
add option --no-matrix.

Conflicts:
	src/pins2lts-sym/pins2lts-sym.c
fix null pointers when printing matrices with -v (verbose) option
print extra info about state labeling.
rename + move element of op cache
unsetinfo does not exist, remove check
pins2lts-sym: par/par-prev now has transition learning in parallel part
temporary workaround for cpy not set for read-write dependencies
pins2lts-sym: remove reduce_parity_game