Finish flow-sensitivity work started in 147ece06748ca52e9520d56c7edb78f6247ab38e.
Include constraints in -analyze output.