normalization before matching of objective and predicate. Added TestSmokes example