Added Constraint checker class.