Add additional assertion