Infer scope for a variable
variable to infer scope for
true if succesful or already scope
See Implementation
Infer scope for a variable