The polymorphic call-by-name work has hit a snag - when I use it for GeneratedSources, I manage to cause the

initial_polymorphic

phase of the solver to loop forever on a graph that (appears to) grow without bound