constrained-decoding