changed condition to for declUse from useFeature.implies(declarationFeature)isTautology to useFeature.and(declarationFeature).isSatisfiable
Merge remote-tracking branch 'origin/master'