seexpr2 v1.4.2 new getVar function; support for both LLVM and non-LLVM builds of SeExpr2 Tagged-by: roll deploy
