add hasCounters(counterType) method to MagicPermanent