Renamed SumProduct solver variables/factors (old S* names retained for compatibility)