Assignment rules at runtime

Assume that DT_SC is the same as DT_TC or its subclass.