Dyktus branch

please use Assertion class