Please ensure that an untimed default concurrent
constraint program can be run from any thread, not just
a Vat. That is, as long as next is not called on an agent,
none of the code depending on Vat (e.g. the code for
resetting the store) should be triggered.
(This may already be the case. I saw one student in the
CSV889 Fall 03 course at IITD run some default cc code
from a Thread. But please verify that there are no
subtle bugs here.)