`State_selection` has its signature embedded into signature `S`, shared
with submodule `Static`, marked as deprecated since 2012. If #1103 is
fixed, we can revert this commit.