pub type ConstSpec = (String, usize);
Pairs a synthetic predicate name (e.g. "Const_c42") with its dictionary ID. One entry is produced per rewritten atom occurrence.
"Const_c42"