proper sort constraints for strip_shyps, for sort relations used in minimization;