Improve printing for -ddump-deriv