debugged nondeterm counterstrategy extraction, initial commit of environment refinement