Add option --dt-stc-ind for strengthening skolemization.  Refactor skolemization.