renamed methods for instance variable checking in TraitInclusion