Fix symbol counters
When simplifications are applied on an AssignementCollection that is created with Assignments coming from another AssignementCollection that was simplified before the counter for the symbol creation was not respected
When simplifications are applied on an AssignementCollection that is created with Assignments coming from another AssignementCollection that was simplified before the counter for the symbol creation was not respected
Merge details
requested review from @ed94aqyc
assigned to @holzer
merged
mentioned in commit 60e24c40