Stav dette: Semantic acyclicity under constraints