Add trivial test suite
An example value of Judgement Concrete