The pseudo-states of the object of the child class are compared with pseudo-states obtained in association with the object of the parent class.
It is easily checked whether the child class creates an unauthorized state in relation to the parent class.