Property CANInsertWithFailure-PT-090-UpperBounds-00
  "Automatically generated"
  is:
    bound("Node7requestsent3")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-01
  "Automatically generated"
  is:
    bound("Node8GiveAnswer13")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-02
  "Automatically generated"
  is:
    bound("Node73GiveAnswer69")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-03
  "Automatically generated"
  is:
    bound("Node82requestsent64")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-04
  "Automatically generated"
  is:
    bound("Node39GiveAnswer38")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-05
  "Automatically generated"
  is:
    bound("Node59requestsent56")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-06
  "Automatically generated"
  is:
    bound("Node37requestsent31")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-07
  "Automatically generated"
  is:
    bound("Node51requestsent6")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-08
  "Automatically generated"
  is:
    bound("Node12requestsent15")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-09
  "Automatically generated"
  is:
    bound("Node39requestsent35")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-10
  "Automatically generated"
  is:
    bound("Node68Bootstrap")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-11
  "Automatically generated"
  is:
    bound("Node13requestsent7")
  end.
Property CANInsertWithFailure-PT-090-UpperBounds-12
"Automatically generated"
is:
bound("Node27GiveAnswer48")
end.
Property CANInsertWithFailure-PT-090-UpperBounds-13
"Automatically generated"
is:
bound("Node73requestsent66")
end.
Property CANInsertWithFailure-PT-090-UpperBounds-14
"Automatically generated"
is:
bound("Node33requestsent14")
end.
Property CANInsertWithFailure-PT-090-UpperBounds-15
"Automatically generated"
is:
bound("Node60requestsent55")
end.
