Rename examples to data
Creates encoding file for the heuristic related predicates and projections
Adapts ITermSet to IStrategy