CVC4/CVC4 — pull request #54 by kbansal (2014-10-02 16:10:19+00:00)
Title: fix getModelValue(<non-preregistered term>)

Morgan, this should fix the crash you were seeing. --Kshitij