Add prop_permuteStg