Ioannis,

On those chips, the IOCIF bit is read-only and only gets cleared when ALL of the IOCBF flags are clear.
So you can set the INT_Handler's ResetFlag option to NO.

Then be sure the IOCBF flags are cleared before exiting the ISR.
Also, take a look at section 13.4 in the datasheet regarding clearing the flags.