opt_nl_flow must be true for analyze to do anything.

Analyze a basic block for flow typing properties that do not follow the lexical structure of the code (and therefore the syntax-directed typing rules), and insert assertions for discovered constraints