Automatically make SMT options from command-line option names, warn when not possible.