This implements the bounded interactive checker with support for handles in the oracle. Oracle handles in the winning condition are not yet properly handled.
This implements the bounded interactive checker with support for handles
in the oracle. Oracle handles in the winning condition are not yet
properly handled.

Also missing is support for multiple groups.

generic-group-analyzer/gga,generic-group-analyzer/gga,generic-group-analyzer/gga