Added assertion snippet