let add_logics_value l = 
  List.iter (fun lv -> AnyVar.replace (Lv lv) ()) l