where shall we insert the DC?
NEXT: addDeadCast
finally negate-06 works...