Preprocess JANI expressions in the model to be compatible with the standard JANI format.
In the current state, this ensures that array comparison is expanded to evaluate each element.