public AbstractValue Lookup(Variable variable) { Variable newVar = _variableMap[variable]; return(AbstractValue.LimitType(newVar.Type, Ast.ReadDefined(newVar))); }