SCADE contracts and several indexes in expressions