dftlib.transformer.rewrite_rules.try_remove_fdep_successors

try_remove_fdep_successors(dft, fdep)

(Rule #27, Rule #28): Eliminate FDEP between two successors of an OR or PAND. Only supports FDEPs with one common predecessor. :param dft: DFT. :param fdep: FDEP to check. :return: True iff elimination was successful.