Concerning #783: Refactor SetNonzeros
Fixes #783
Concerning #783: Refactoring SetNonzeros symbolic evaluation
Concerning #783: Refactoring SetNonzeros symbolic evaluation (2)