It isn't clear from the 'check' target that the check succeeded

**Describe the bug**

It ends with:
```
Set::RelOp::ConstSSI::Union::Sup::0 ++
Set::RelOp::ConstSSI::Union::Sub::2 ++
Set::RelOp::ConstSSI::Union::Nq::2 ++
Set::RelOp::ConstSSI::Union::Sup::2 ++
Set::Dom::Dom::Gr::2 ++
```

**Suggested solution**
It should print: ```Checks succeeded```.
