Hi, I just realized that spec's instrumentation doesn't really check :ret and :fn field. I also read some discussions that say we should be able to use test/check. But is there any way to enable those fields on repl in development phase (not unit testing)?