pyb now throws an exception if it was unable to check if two predicates are equal and prints an error message