Program label code lines, with an “$” as first symbol, are special lines in programs generated by PolyScope that make it possible to track the execution of a program.
$ 2 "var_1= True"
global var_1= True