Dyktus branch

use Assertion class