ckaestne/TypeChef — pull request #22 by ckaestne (2013-07-06 21:42:55+00:00)
Title: restore InterCFG functionality from WriteCFG branch

The merge of WriteCFG did not preserve the behavior to include InterCFG in dumping the CFGs. Here is a proposal of how to reactivate it again, though it always activates InterCFG in any analysis.