added nondeterministic counterstrategy .hpp files