Transforming traces should always precede a domination check

[ali-alshaar7]

🚀 Feature

Motivation

An improperly applied trace transformation can sometimes lead to domination errors in the data-flow graph. These often result in KeyError: 't* errors several blocks down the road. It would be helpful if more useful errors could be emitted earlier on.

Pitch

A transform that creates domination errors e.g (A = Node(C, B); C = Node(X) # where C's definition proceeds its use) will have a check that's applied after every transform is applied indicate the error and its location in the trace.

cc: @t-vi

[t-vi]

Thank you, great point, I'd see this as part of #1180