Definition: *rule_case-sensitive-string*
(defconst *rule_case-sensitive-string* (=_ *case-sensitive-string* (/_ "%s" *quoted-string*)))