Advanced Pruning Strategy

Add extended Pruning strategy preserving (in)-equality constraints in assumption.

Details and extent to be discussed.