Compute the dual for a single positive literal. Make sure that
Predicate is used for the dual head instead of taking the head from
one of the rules. This allows a new head to be passed during NMR
sub-check creation.
Arguments:
Predicate
- The head of each rule in Rules, of the form Head/arity.