Functionally recursive (automata) groups in GAP