check correct use of --no-soundness-check
use enum for guard-splitting mode