julia> solve_from_local(quote
x = :(x + 1)
end)
quote
#= REPL[6]:2 =#
@x = $(Expr(:quote, :((@global +)(@x, 1))))
end
:(x+1) shouldn't be analysed. The things can be analysed in a quotation are $ splices, e.g.:
x = :($x + 1) # now we can analyse the `x` in :($x + 1)