Corrected multiple bugs in strategy representations.
Restored usage of symmetries when solving local polytopes.