Optimize disj on ISet values

Description

We can revise disj to be more efficient when it is known that the target implements ISet.

Environment

None

Status

Assignee

Mike Fikes

Reporter

Mike Fikes

Labels

None

Approval

None

Patch

None

Priority

Major
Configure