in checkInstanceContextImpliesAllInstanceContextsOfSuperClasses: catch the case that there are duplicate instances in the source file