Treat observers and oracles not as local variables