migrated another expression to the new GDE in state machines
finished migrating SMs to GDEs