Fix infinitely often lost property for ABP
Generate the BES for the original PBES, next to parelm/stategraph reduced ones.
Use parameterised versions of the board games, and preprocess games differently