Revert "Concerning #783: Refactoring SetNonzeros symbolic evaluation (2)"

This reverts commit 9247c070c6e611bf2191db2c59a3af0e6d9f4d57.