Doubtful; all of the rules I can think of can be checked in linear time.  Mostly the ones pq has described in the past.  Stuff like:

- Every object must be destructable or singleton.
- If an object has a destructor event it must not have requests.
- If an object has requests, one of them must be a destructor request.