Simplify return statements to return variable or nothing
Implement insertion of symbolic instrumentation for functions and binary operations