Workflow

forall x,s O(s) -> Q += (x,s)
loop {
	forall x,y,s R(y,s) -> S += (x,y,s)
	forall x,s Q(x,s) -> R += (x,s)
}

Target

S(x,y,s)