Predicate strings::format_string

predicate format_string(StrConst e)