Fix bug in fixpoint procedure.

For manually stratified programs, the stratum in which a relation is computed
might be higher than the stratum in which it is accessed. Hence, if we see a
tuple traverse an edge "backward" in stratum order, we need to rerun the
fixpoint loop.