dftlib.transformer.rewrite_rules.try_remove_superfluous_fdep

try_remove_superfluous_fdep(dft, fdep)

(Rule #25, Rule #26): Eliminate superfluous FDEP from AND or OR. This FDEP is triggered after the failure of the dependent element and thus, it does not influence anything else. :param dft: DFT. :param fdep: FDEP to check. :return: True iff elimination was successful.