Inductive Generalization in PDR

Implemented basic generalization in PDR. The implemented function of interest is "trim_clause"