pub type ConstraintMap = HashMap<usize, Constraint>;
pub struct ConstraintMap { /* private fields */ }