Andreas,
I'm not sure if there is anything wrong with the behaviour you are expecting. What I mean by "developing against Record/Replay" is really in response to your post (included below)
"Hi,
I just commited a patch for this issue - but haven't created a new binary release for now."
I'm not saying don't do it, or you shouldn't do it or anything like that; It's simply that my interest was piqued when I noticed that you had committed a code change in the area of Record/Replay; mainly because my understanding was that Record/Replay is not really currently a focus of attention in Rhino and instead efforts were being put into AAA.
It has been "suggested" on multiple occasions in the past that the Record/Replay syntax be either attributed as deprecated, or at least moved to an alternate namespace which would show a clear separation of functionality between it and AAA. -the later proposal mainly to support those establishments who have a large existing investment in Record/Replay tests.
It's just a question to help my understanding of the current development in Rhino :o)