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.