pub type ConstraintMap = HashMap<usize, Constraint>;