fix: check if global symbolic success