Treating SF literals as normal split variables.

Very bad performance for now:
Increment k by the number of SF literals leads to exponential blowup.
On the other hand the code is simpler and may allow for some heuristic
search.