anddivemptyeqfalsegegtinstanceofleltmodnenotnullortrue