let ok_pointer_term s x n b p =
  if is_formal_var_type x then ok_ptr_term_formal s x n b p
  else ok_ptr_term_arg s x n b p