"x"
"bool"
typeOp
nil
opType
1
def
var
varTerm
assume
"y"
1
ref
var
varTerm
nil
cons
"z"
1
remove
var
varTerm
thm