laser/smt/expression: use repr function
laser/smt/expression: use repr function

Co-Authored-By: JoranHonig <59d2d9393288876914656962a0dab110f4c0d190@users.noreply.github.com>
b-mueller/mythril,b-mueller/mythril,b-mueller/mythril,b-mueller/mythril