For instance, based on https://github.com/MiniZinc/libminizinc/blob/e0c67e498b46bd43d9c3f0f2ff16487f3444d7ea/share/minizinc/linear/redefinitions.mzn#L362-L553
