Artifacts of gazelle-assertion #5