Text this: Active Inference of Extended Finite State Machine Models with Registers and Guards