Improve presentation of pointers

[prapicault]

When debugging a counter example, the pointers are simply presented as a string and it is not possible for the user to follow the pointer.
It would be nice if users had the ability to go from the pointer to the entity being pointed.