[polyml] ConditionVar