let is_fresh th = function Fresh(th', _, _) when th = th' -> true | _ -> false