Bug in CifToSynthesisConverter for resizing value vector
On line [1153](https://gitlab.eclipse.org/eclipse/escet/escet/-/blame/develop/cif/org.eclipse.escet.cif.datasynth/src/org/eclipse/escet/cif/datasynth/conversion/CifToSynthesisConverter.java?page=2#L1153) of `CifToSynthesisConverter`, it reads:
```java
int len = Math.max(varVec.length(), varVec.length());
```
it should be
```java
int len = Math.max(varVec.length(), valueVec.length());
```
As a consequence, whenever the `varVec` has less bits than the `valueVec`, the `valueVec` gets resized and loses important bits.
issue