OptoCSP converts CSP defintions containing the optional parallel operator to a CSP defintiion containing only classical CSP operators