“…The way sharing is handled in Sparkle is currently being fixed according to the reduction mechanism described in [11]. In the next release, Sparkle will always preserve all sharing, and manual reasoning steps will be added th a t allow users to m anipulate, and possibly break, shared expressions at will.…”