pub fn true_resolver() -> ConditionResolver