> Besides, the 32-clause limitation may need to go in the future and it 
> would be simpler to fix it in one place.

What is the reason for the 32-clause limitation?

Thanks,
Scott

Reply via email to