public override void SerializeContracts(TypeNode type) { // workaround for bug in the base class. Since we don't need contracts we can just // do nothing here. }