nonNegatedBodyLiterals

val Clause.nonNegatedBodyLiterals: List<Struct>