[nondet]get_returns_and_tvs(+AnswerTrie,
-Return, -TruthValue)t if the answer is unconditional and to u
if it is conditional. If a conditional answer has multiple delay lists,
this predicate will succeed only once, so that using this predicate may
be more efficient than
get_residual/2
(although less informative)