TRIV: indentation change
BUGFIX, TEST for reachability games (rg tool)