Wander tactic.
In my second year internship at the MPRI I worked under the supervision of Ralf Jung and Max Vistrup on the Iris-Lean project. Beyond helping in the porting effort, I also developed an automation tool based on Diaframe.