#constrained decoding llm