stp/stp — pull request #114 by TrevorHansen (2014-06-15 01:40:41+00:00)
Title: Less broken define-fun declare-fun

This parses more of the declare-fun syntax correctly.