Ensure that assertion graph is not empty