dftlib.transformer.rewrite_rules.check_dynamic_predecessor

check_dynamic_predecessor(dft, element)

Check whether element has at least one dynamic element (except a dependency) in its predecessor closure. Performs DFS of predecessors. :param dft: DFT. :param element: Element. :return: True iff the predecessor closure of element contains at least one dynamic element.