let is_lformal = function 
  | {lv_origin = Some x} -> x.vformal
  | lv -> LogicParam.mem lv