Create separate headers for PathCondition and ConcurrentVar<T>