if atautoinit != null then
if not mpropdef.is_intro then
modelbuilder.error(atautoinit, "Error: `autoinit` cannot be set on redefinitions.")
if atautoinit != null then
if not mpropdef.is_intro then
modelbuilder.error(atautoinit, "Error: `autoinit` cannot be set on redefinitions.")