kind2-mc/kind2 — pull request #174 by AdrienChampion (2014-11-18 01:28:35+00:00)
Title: Inv gen

Merging for upward instantiation code so that it can be rewriten to work with condacts.