Include Code contracts assembly.