Add a DisjointWith expression handler