Added coding contract support