Similarly to aeon, LiquidJava could show instance variables using the superscript notation (xⁿ instead of #x_n).
This would apply to both expressions, counterexamples, and the context history, improving the readability of error messages and the context debugger.
