ComputeIDPTrans

SEM: bildet in TDP alle induzierten Abhängigkeiten solange MarkedEdges nicht leer ist und die Ausgabeinvariante TDP = ind(TDP) gilt, damit ist dann TDP = IDP+ SEF: -