Adds specification language to testUtils 

Specification language embeded in JUnit, that allows writing tests in a style that resembles first order logic.