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