Some pending assertions since assert-plus addition