Recognising assumption violations in autonomous systems verification