Compact tree of Violate Check