Added ExprOps.canBeHomomorphic which returns a mapping from identifiers if the expressions are homomorphic.
Addded failing test of partial string synthesis by example and made it work at the same time.