Describir: A formal approach for understanding the behavior of constrained language models