Optimize: use Set instead of list for conjunct violation computation

Makes DTV.adl compile over 50 times faster.