Fixed small bug in expander, where the slicing entry in the expansion should always contain the original base definition (possibly some elements overridden by the diff)