drastically restructured the pipeline.

now, the cnfs for the sentences are produces as soon as possible - the
left side is created right after rules are matched in it. the right
side is created right after the rule is applied.