Recent Releases of extended_finite_state_machine_inference