FTA maps error type to super error type unnecessarily #1915
Description
If we have an error type with subtypes, e.g., OutOfRange as subtype of ValueError, and we traverse backwards starting with the subtype (e.g., OutOfRange), the trace should stay with the subtype instead of mapping it into the super type.