let not_arg_computed() = 
  not (ArgPReference.is_computed()) || not (ArgAReference.is_computed())