let not_param_computed () = 
  not (ByValue.is_computed()) || 
    not (ByPReference.is_computed()) ||
    not (ByAReference.is_computed())