vset_sylvan: add set_dot and rel_dot
vset_sylvan: fix rel_count
guard-splitting for mCRL2
prepare for multi-process state label evaluations.