Remove `requires_o` relation

[Rezenders]

Is the requires_o relation necessary? Seems to be redundant with solvesO, and I didn't find a place where it is being used.
Can I remove it? @chcorbato