Implement constant literals
Add another constructor to DomTree
Add containBackedge to BlockHeader
Add backedge checks to ControlFlowGraph::checkSanity()
Several bug fixes following implementing constants