semantic: Handle verifying member function sets in replaceExpReferenceIfNeeded.