Validation test for the block Buildings.Controls.OBC.CDL.Routing.BooleanExtractSignal.
The instance extBooSig 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 extBooSig1 has the input vector with dimension of 4 and
the extracting vector is [3, 2, 4, 1, 1]. Thus the output vectors is [u[3], u[2], u[4], u[1], u[1]].
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 extBooSig.
It will issue error and the model will not translate.