Make various modifications to improve the name prettyfication

1 files changed, 4 insertions, 0 deletions

diff --git a/TODO.md b/TODO.md
index 46ef183b..6f35acc4 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,9 @@
 # TODO
 
+0. For variables pretty names: we could try to use the meta places used for the
+   forward function input vars to compute pretty names for the backward functions
+   output vars.
+
 0. sanity checks in symbolic to pure!
 
 0. update the end borrows internal to abstractions to not introduce a Bottom