Term derivation

**Feature description**
It is needed to have term derivation to simplify predicate evaluation.

**Motivation**
Direct benefit could be redundant predicate elimination and join ordering performance boost.

**Alternative**
No.

**Additional context**
This feature does not affect correctness but only performance.
