actions matrix / GB function for DVE
Guards for mCRL2.
Symbolic reachability analysis w/ guards.