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