Querying Control Flow

• discuss Glider control flow functions with examples:

  • next_instructions()

  • previous_instructions()

  • next_instructions_recursive()

  • previous_instructions_recursive()