fixed parallelization issue in clausie