IRA ‘has ceased its criminality’