Add control dependence statements to the answers