let compute_logic_params () = 
  debug "[LP+AT] logic parameters and address taken computation"
  if not (LogicParam.is_computed()) || not (AddrTaken.is_computed()) then
      ( Visitor.visitFramacFile 
          (new logic_parameters_and_addr_taken_collection)(Ast.get());
        LogicParam.mark_as_computed();AddrTaken.mark_as_computed())