Function clause 

pub fn clause(
    literals: impl Into<Vec<Literal>>,
    constraint_tag: ConstraintTag,
) -> impl NegatableConstraint

Creates the NegatableConstraint \/ literal

Its negation is /\ !literal