make it similar to cvc4
convert class compiles
constraint works
more terms
recursively traverse
Merge pull request #5 from rapid-net/parse

Parse