IL_0000: temp1 = ldarg.0
IL_0001: temp2 = ldarg.1
IL_0002: stfld int32 HowDoesPexWork.StateRelationForStruct/MyInteger::m_value (temp1, temp2)
IL_0007: ret