nitc :: BasicBlock :: df_computed
# If true, the iterated dominance frontier of this block has been computed var df_computed: Bool = false