let compute_parameters_usage () =
  debug 
    "[Parameters Usage] logic parameters usage computation"
  debug 
    "[Parameters Usage] computing address taken and logic parameters first"
  compute_logic_params ();
  if not (ByValue.is_computed()) || 
    not (ByPReference.is_computed() || not(ByAReference.is_computed()))
  then 
    ( Visitor.visitFramacFile 
        (new parameters_call_kind_analysis)(Ast.get());
      ByPReference.mark_as_computed();ByAReference.mark_as_computed();
      ByValue.mark_as_computed())