The successor explanation capability uses the QSIM constraint filtering algorithm when making inferences. To support this, a number of changes were required to the functions that handle individual constraints. While successor explanation has been tested, it has only been in use for a short period of time. Thus, it is possble that certain constraints have not been adequately tested. This is especially true for seldom used constraints. The only type of problems that might result are of the type where a constraint is identified as violated, but the values specified are such that the constraint should not have been violated. If you encountered a response that you are unsure of, please contact clancy@cs.utexas.edu with the model to see if there might be a problem.
I hope that these instructions are helpful. We will provide whatever help we can.