Supplied an examples file that invokes each assertion from the front-end. Close #14 (github issue)