Add breaking test case for Shape of ProvenShape