From manual 2 page 149 (inclusive of typos) for the SETINT command:
The inputs port is checked between execution of each command line in the program, betwen each note of a tune command, and continuously during any pause command.
Being a polled interrupt, the programme will only interrupt if the interrupting condition is still present on the input pin(s) after the current command.