Apply CD_add_assoc {3} CSNo quaternion_tag_fresh add_CSNo CSNo_add_CSNo add_CSNo_assoc to the current goal.