Cut and Side-Effects in Or-Parallel Prolog