Understand the building blocks of the EFS engine.

Signal and behavior extraction

Parse flow specifications to identify participants, messages, signal direction, conditions, values, state transitions, and register interactions.