Add useful assertions