Subject the insert into t select * from t infinite loop
Author Ann W. Harrison
Could we find a fix for that problem by identifying statements that
might be susceptible - including obscurities like:

insert into t select * from a
where a.t_val in (select t_val from t)

and checking somewhere that the input values aren't dependent on a
record that's listed in the verb undo log?