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;())