nitc :: BasicBlock :: treated
# Used to handle recursions by treating only one time each block var treated: Bool = false