Use assertIncluded

We should rewrite the algorithms with the [`assertIncluded`](https://github.com/ProjetPP/PPP-datamodel-Python/blob/master/ppp_datamodel/utils.py) function that determines whether a normal form `a` is included into the normal form `b` or not.
