I think (some will correct me if I'm wrong) the general term for this is flow analysis, and TypeScript does it under the hood so it can refine/narrow types. Not with visualisations though