Issue #10 solved (abstract getter in Agent).