fixed a bug in CoveredRerefenceFeature