Fragments of code that check for cycles in dataflow graphs.