Check ChoiceInstruction
Check WhileInstruction