Analysis: control structures