SymbolicArithmetic test
Merge branch 'symfront' of https://github.com/SRA-SiliconValley/jalangi into symfront
new benchmark: Symbolic Arithmetic