Hi, The scrambler was updated. It was not recognizing Array1 and Array2 as builtin sorts in AUFLIRA. Some solvers were not distinguishing identifiers such as: $x20, ?x20, and x20. Thus, the new scrambler uses different prefixes for these identifiers: "$p", "?t", and "x". Leonardo