Analyzes GenServer and gen_statem state machines from IR to extract behaviours, state transforms, and missing handlers.