Commits

Ted Kremenek committed 40b9bb8512b
Start addressing some of Chris's feedback about CFGs. - BasicBlocks now use lists to represent Instructions. - Terminators are now just instructions. - Remove special terminator field from BasicBlocks. - Remove blockID from BasicBlocks. Still WIP. Swift SVN r2519