initBoundVarHighlight()

Click on all of the variable occurrences (if any) that are bound to the underlined binding occurrence in the expression below.

true
return validateBoundVar()

Determine the scope of the variable declaration corresponding to the underlined binding occurrence. The bound variables that you are looking for cannot appear outside of this scope.

Remember that binding occurrences for the same variable inside this scope (if any) create holes in it.