Code
The highlighted line runs next. The pill shows the live values in the running call.
Variables
The data structures the code is building
Course graph
An arrow b → a means take b before a
current coursein outputcycleedge being followedalready followed