handle clauses with many body literals more efficiently
moved clause splitting to the preprocessor (where is really belongs)