Added boolean isSupersetOf(Conjecture) method