Handling distinct clauses with a variable and a literal.