I think it would be fair to assume that the UK wouldn't knowingly standby and watch Terry Terrorist do something stupid to the ROI. As far as formal agreements etc are concerned, I speculate that such information would be politically very sensitive and I'm not sure anyone in their right mind would be willing to give you a definitive answer on Proone.