Add simple flow analysis to support common usages of assert.