spec execution of control structures