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