support for final in concurrent region state and completion transitions
do activity tests, final state tests