Validation test for the block Buildings.Controls.OBC.CDL.Routing.IntegerExtractSignal.
The instance extIntSig has the input vector with dimension of 4 and
the extracting vector is [3, 2, 4]. Thus the output vectors is [u[3], u[2], u[4]].
The instance extIntSig1 has the input vector with dimension of 4 and
the extracting vector is [3, 2, 4, 2, 3].
Thus the output vectors is [u[3], u[2], u[4], u[2], u[3]].
Note that when the extracting vector extract has any element with the value that
is out of range [1, nin], e.g. [1, 4] for instance in extIntSig.
It will issue error and the model will not translate.