When a variable is returned, pass it's name to symbolic_return
Write a litte about normalization and instrumentation