started to implement proper handling of initial predicates for clauses with many body literals