Antmicro.Migrant.ObjectWriter.CheckLegalityAndWriteDeferredReference C# (CSharp) Method