Updated assertion import