Add prop_reducedSame, fix cmpStg to include index