fix the bug, now matching alone is implemented.
trying a more modular version of par depth first searching
considering and-or paralleization.
add an or-par version.
there seems to be a bug in par1