Implement state machine importer - Part I