This is a strange bug that is responsible for nontermination in the reuters 6_UDF test in this commit: 1a9f1f84babac4ec13eb46352b83c2253243bcb7 Metaprogram evaluation diverges. At the least we should be able to change that to an error message.