Refactor: created ClausePartitioner class, mover there the partition() merhods. Modify applied to tests as well.
Refactor: started to make clause immutable.
Tests altered to immutable-like clause.