beq_natlist_refl