Zaslat SMS: Semantic acyclicity under constraints