Give the SATISFY_ss simpset fragment a name.

This will let it be targetted by calls to diminish_srw_ss.