trace-record actually now works. a test for this is now also included