pub fn argument_from_threat() -> SchemeSpecExpand description
Argument from Threat (Walton 2008 p.335).
Note: slot names threatener and threat overlap as prefixes —
the resolve_template function in instance.rs sorts bindings by
length descending to handle this correctly.