Use custom class for EDT violation detection