Add list.elem
Update hsci context