Added Setup::Determines().

Setup::Determines(t) indicates whether a setup contains unit clause
[t = n], that is, determines t's value.

Grounder::Relevant[SplitTerms|LiteralAssignments]() now skip any terms
or literals whose lhs is determined by the setup already.