Comment 2 for bug 1954699

This works now, but boundedness check is still broken for timed games (where the engine gets lower-gcd and time-dart options that are not supported for game).