Artifacts of gazelle-assertion #8