Since a port interrupt is multi-sourced, in general we need to check which pin is throwing the interrupt. However in our final, since we know that only S2 is throwing the interrupt,  we can assume that if we have entered the ISR it must be because push-button S2 was pressed. There is no need to check explicitly in the ISR which pin is causing the interrupt.