let is_pure_logic = function 
  | Lv lv -> (LogicParam.mem lv) && (lv.lv_origin = None
  | _ -> false