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