Property ARMCacheCoherence-PT-none-UpperBounds-00
  "Automatically generated"
  is:
    bound("p22")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-01
  "Automatically generated"
  is:
    bound("p84")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-02
  "Automatically generated"
  is:
    bound("p15")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-03
  "Automatically generated"
  is:
    bound("p9")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-04
  "Automatically generated"
  is:
    bound("p56")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-05
  "Automatically generated"
  is:
    bound("p45")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-06
  "Automatically generated"
  is:
    bound("p5")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-07
  "Automatically generated"
  is:
    bound("p26")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-08
  "Automatically generated"
  is:
    bound("p1")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-09
  "Automatically generated"
  is:
    bound("p64")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-10
  "Automatically generated"
  is:
    bound("p53")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-11
  "Automatically generated"
  is:
    bound("p38")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-12
  "Automatically generated"
  is:
    bound("p42")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-13
  "Automatically generated"
  is:
    bound("p47")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-14
  "Automatically generated"
  is:
    bound("p11")
  end.
Property ARMCacheCoherence-PT-none-UpperBounds-15
  "Automatically generated"
  is:
    bound("p5")
  end.
