pub type NameMap = HashMap<String, String>;
Mapping from original names to mangled LCNF names.
pub struct NameMap { /* private fields */ }