Workflow

forall x,s
	O(s) -> R += (x,s)

Target

R(x,s)