'Yields (return_value, path) for every return. This is a generator.
:param runs: the maximum number of runs to execute
:param solutions: check only returns with this value as a possible solution'

def iter_returns(self, runs=None, solution=None):

    for p in self.iter_found(runs=runs):
        r = p.state.se.simplify(self._cc.return_val.get_value(p.state))
        if ((solution is not None) and (not p.state.se.solution(r, solution))):
            continue
        (yield (r, p))
