Added strategy to eager boolean case distiction which moves subterms as little as possible.
Added strategy to eager boolean case distiction which moves subterms as little as possible.

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition