Added Norvig's code to ConstraintVersion.py