let compute () =
  if not (AddrTaken.is_computed ()) then
    begin
      Wp_parameters.debug "Computing logical variables.";
      Visitor.visitFramacFile (new address_taken_var) (Ast.get()) ;
      AddrTaken.mark_as_computed ()
    end