Bei der Propagierung eines zusammen mit dem Store inkonsistenten Constraints erhalten wir einen verklemmten Endzustand.
Eine Folge von Übergängen ist ein erfolgreicher Suchprozess, wenn sie mit dem Startzustand beginnt und mit einem Endzustand endet.