variable lookup in topdown checker