OpTrace is a CSP trace generator used for trace refinement checks of Optional Parallelism in CSP