Active Inference of Extended Finite State Machine Models with Registers and Guards (ArXiv cs.FL Recent Papers, 2026)