test state of @@/@b/@f
remove old @@ from definedList
throw ERR_BAD_LABEL_STR if @f or @b is used