Added a new step: Then it must not cover (docs #562) Added a new step: Then it must not be in (docs #562)