Fixed bug in Unify, SliceGraph test