CheckVars was traversing lets incorrectly