SMT solver options: keep defaults if not set