return caughtType.isSubtypeOf("java.lang.RuntimeException")
|| caughtType.isSubtypeOf("java.lang.Error")
|| caughtType.is("java.lang.Exception")
|| caughtType.is("java.lang.Throwable");
}
<BUG>private static List<SymbolicValue> invocationArguments(List<SymbolicValue> values) {
List<SymbolicValue> parameterValues = new ArrayList<>(values);
parameterValues.remove(values.size() - 1);
Collections.reverse(parameterValues);
return parameterValues;</BUG>
}

return caughtType.isSubtypeOf("java.lang.RuntimeException")
|| caughtType.isSubtypeOf("java.lang.Error")
|| caughtType.is("java.lang.Exception")
|| caughtType.is("java.lang.Throwable");
}
private static List<SymbolicValue> invocationArguments(List<SymbolicValue> values) {
return Lists.reverse(values.subList(0, values.size() - 1));
}
