Add check on DeclareSym to forbid defining symmetries with different
identifiers.