clauses --> switches

[Erwan Jahier]

Hi,

Let's consider a Mercury predicate defining by several clauses. 
Is it true to say that those clauses will be converted into exactly one 
switch ? Are there some cases where it can be splited into several
switches (on different arguments of the predicate) ?

In other words, is it true to say that a goalpath of the form "s1;..."
corresponds to an event occuring in the first clause, "s2;..." in the
second clause, ... ?

That way I could print source variable names within the tracer.
-- 
R1.