Seems to work with the Gecode state parsing.