[m-dev.] for review: the new debugger command set

[Zoltan Somogyi]

> This rather strange to see a multi proc failing since it is supposed not
> to fail. Isn't that a bug in the tracer ?

No, this is not a bug in the tracer, or in the code generator.

"This rather strange to see a multi proc failing since it is supposed not
to fail" indicates a misconception. A multi proc is not supposed to fail
*without first producing a solution*. Once it has produced that solution,
and possibly other solutions, the multi proc is allowed to fail, and
must fail if it has no more solutions. The only difference between nondet
and multi is that multi promises at least one solution before failure.

Zoltan.