Added Programming by Contract support