Set coding for simulator (avoid error with the sum symbol)