PocManyClauses

Killing 8GB of RAM and not getting it compiled:

capture