fix for parallel multipath concretizer