Some fixes in old problems. Added new domain (domain_v8) wich is a simplified version of domain_v7. The actions pick-from-stack-oo and pick-from-stack-ob are merged into pick-from-stack-oANY, and the same happens to put-on-stack-oANY. This works for small problems, but not for the original prob3 problem (Hangs at mutex)...