1) Consider
()
where both sub-programs
and
are very large nondeterministic programs designed
to solve `independent' decision-theoretic problems.
The off-line
interpreter can return only the optimal policy
that corresponds to the whole program.
Intuitevely, we need: