Tighter testing, including stable attribute ordering