Told z3 about prim->bool (might need to do this for all delta funs)
Told z3 about prim->bool (might need to do this for all delta funs)

brownplt/LambdaS5,logchi/LambdaS5,lijunsong/LambdaS5,brownplt/LambdaS5,logchi/LambdaS5,brownplt/LambdaS5,logchi/LambdaS5,lijunsong/LambdaS5,lijunsong/LambdaS5