Added symbol assertion