"Abstract values" and "symbolic values" mean different things. Abstract interpretation and symbolic execution are both powerful static analysis techniques, but they are not (classically) equivalent in function.