add test for ConstraintManager
add Getters to get constraints