Sure. You solve it by doing whole-program analysis, and preferably restrict eval "" calls to not able to add ad-hoc bindings to Int.