builtin_default(?Preference, ?Value) is nondet[private]
Provide defaults for commonly used preferences.