Add -skip-output-concretize option
Add -always-prefer option for simple-minded DFS