changed condition to for declUse from useFeature.implies(declarationFeature)isTautology to !useFeature.and(declarationFeature).isContradiction