Try harder to demote results from `J#` to `S#` (re #8638)

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Refactor and comment the smartJ# changes (re Trac #8638)