SJL-testing-semantics
Have basicaly tested semantics