assertion set contains assertion gen:arc