Symmetry breaking, 1st attempt
Symmetry breaking + parametrization generation
Symmetry breaking: restriction on parametrizations (grammar changes)