bug in constrained decoding