391 - Unchecked Error Condition
A product has a behavior, M, that manipulates a resource to achieve or enforce a
required property, P. The manipulation can generate an error condition in which
P is not present. A subsequent behavior, B, has expectations that P is present.