Pass all tests for Relational CompositeStateMachine