model: rta uses its visitor only to visit FFI extern methods