Каждое лексическое окружение содержит ссылку на внешнее лексическое окружение, [[OuterEnv]]
У функции ПРИ СОЗДАНИИ есть ссылка на внешнее лексическое окружение, она лежит в [[Environment]]
У функции ПРИ ВЫЗОВЕ создается новое лексическое окружение, и ему в [[OuterEnv]] устанавливается как раз [[Environment]] вызываемой функции
При обращении к переменной или this, идет поиск по дереву лексических окружений снизу вверх, по [[OuterEnv]]
Ни на одном этапе там лексическое окружении функции c
не фигурирует
Оно там было бы, если бы функция b
была создана внутри функции c