Hello again,
Another run on a different source file triggered another bug.
Best regards,
Attachment: creduce_bug.tar Description: creduce_bug.tar