Verifying Graph Neural Networks with Readout is Intractable