Improve feedback in case of UndefinedBehaviorError.