Semantics of variable calls with outer