let logic_param_memory_info x =
debug "[LogicParam] %a" !Ast_printer.d_logic_var x;
if LogicParam.mem x then
(debug "[LogicParam] %a in " !Ast_printer.d_logic_var x;
LogicParam.replace x true)
else
(debug "[LogicParam] %a out"!Ast_printer.d_logic_var x;())