local variables in function bodies will currently shadow the outer scope when inlined. For example the program
with
def f(x):
x = "cat"
return x
inlines to
but this is not what we want since we lose the value of x that we initially assigned, so we might have to uniquify names or something
Originally posted by @kevinyeeeee in #11 (comment)