On 11/29/22 15:01, Timon Gehr wrote: > no control flow analysis is required. Meant to write "data flow analysis" here.