This is a bit of a stretch too but you can find out the class with the 'faulty' property if you attach a debugger, (we really need to publish instructions on how to do this), but basically you run a ...

The newly updated version of Princess in JavaSMT 3.9.0 still has some issues. For example, there is a NoSuchElementException in CPAchecker r37570. Exception in thread ...