model: make `MPropDef::is_intro` more robust