Added test functions.
Merge github.com:jgpelletier/proof into json
Adding comments.