module StateMachineChecker::Adapters