public override bool Equals(PathCond other) { return(other is Conj && conds.UnsequencedEquals((other as Conj).conds)); }
public override bool Equals(PathCond other) { return(other is Disj && conds.UnsequencedEquals(((Disj)other).conds)); }