Merge pull request #23 from zhengying-liu/master

Fix Fhyp type

mmverify.py

@@ -45,7 +45,7 @@
 Symbol = typing.Union[Var, Const]
 Stmt = list[Symbol]
 Ehyp = Stmt
-Fhyp = tuple[Var, Const]
+Fhyp = tuple[Const, Var]
 Dv = tuple[Var, Var]
 Assertion = tuple[set[Dv], list[Fhyp], list[Ehyp], Stmt]
 FullStmt = tuple[Stmttype, typing.Union[Stmt, Assertion]]