Flow's type system is infinitely more powerful. It's proper static analysis. Tern, as an example, can only do so much.