\n", "
middle() code lines should be fixed?\n", "
\n", " \n", " \n", " \n", "\n", "
tag = False not influence anything?\n", "
\n", " \n", " \n", " \n", "\n", "
tag = True change for a different value of s?\n", "
\n", " \n", " \n", " \n", "\n", "
assert statements induce control dependencies?\n", "
\n", " \n", " \n", " \n", "\n", "
\n", "
\n", " \n", " \n", " \n", "