12.3.7.1 Runtime Semantics: Evaluation of super . IdentifierName

SuperProperty : super . IdentifierName:

1. Let env be GetThisEnvironment()// loop up LexicalEnvironment until found an Environment who's HasThisBinding() returns true.
2. Let actualThis be ?env.GetThisBinding()
3. Let propertyKey be StringValue of IdentifierName
4. If the code matched by this SuperProperty is strict mode code, let strict be true; else let strict be false.
5. Let baseValue be ?env.GetSuperBase():
   • Let home be envRec.[[HomeObject]].
   • If home has the value undefined, return undefined.
   • Return ? home.[[GetPrototypeOf]]().
6. Return a value of type Reference that is a Super Reference whose base value component is baseValue, whose referenced name component is propertyKey, whose thisValue component is actualThis, and whose strict reference flag is strict.