>>>>> "Kai" == Kai Großjohann <Kai.Grossjohann@CS.Uni-Dortmund.DE> writes:

    Kai> What happens if you comment out the `set' statement at the
    Kai> beginning of that function? Does that help?

Bingo! The infloop'ing goes away. Thanks.