Okay, I think that I have successfully built a printer for the
non-deterministic storage structure. Each line that it prints represents
a different path jpf takes. If you guys could verify the output, I would
appreciate it.