- Type propagation analysis almost complete