Fixes #1735

The fetch strategy does not mark predicates as solved until at the last point. This
way, we know we are not marking predicates as solved prematurely.
Merge pull request #1793 from systay/1735

Fixes #1735