===< pass_lines :: 0 >=== (0.5 %, 383662 bytes) (100.0 %, 0 bytes) ===< pass_lines :: 0 >=== <stuck here forever?>
What happened here is that your reduced program in 0 bytes (see the middle line).
I have avoided adding a special case for this condition since it generally corresponds to a buggy (i.e., trivial) predicate script.
It is of course simple to add this check and in fact some previous versions of C-Reduce have had it.
John
