Modify TestAnyAllComposition and TestAllAnyComposition.