Implement ProhibitExplicitrEturnUndef