Add assert-empty and various refutations