Thanks for reporting this!
I've seen similar behavior before. My guess is that we might suffer from the phase-ordering problem. If it doesn't require too much effort, can you send us the reduced test case in your second case and the script that orchestrated the reduction? I will check if C-Reduce miss some obvious reduction opportunities. You don't need to reproduce the crashing behavior. Thanks.
On 01/25/2015 11:32 AM, Дмитрий Дьяченко wrote: