Understand TypeScript’s Control Flow Based Type Analysis by Marius Schulz