visitNegatedLiteral

open override fun visitNegatedLiteral(literal: Struct): Set<Var>