in src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java [107:114]
private static boolean exceptionsDiffer(Throwable e1, Throwable e2) {
if (e1 == null && e2 == null) return false;
if ((e1 == null) != (e2 == null)) return true;
if (!e1.getClass().equals(e2.getClass())) return true;
if (e1 instanceof StackOverflowError) return false;
return !getUserTrace(e1).equals(getUserTrace(e2));
}