The incremental off-line interpreter uses the predicate
and the predicate
.
has an additional argument p'
representing the program that remains to be
executed after doing
the first action from the policy 
.
is true if either the program
p completes or fails in situation s.
A program 
begins with a deterministic agent action.
