fixed bug where sub classes weren't checked correctly.
improved toString, and therefore log message for exception predicates.