I found a declaration of SymbolRef confusing and embarrassing to percept the code easily, especially working along with SymbolVal and SVal. Every time it takes time to recall the correct aliasing in mind.
using SymbolRef = const SymExpr *;
using SymExprRef = const SymExpr *;
Please, share your thoughts.