Professional Training: Linear Static Analysis of a Toggle...