Add exmaple about proving equivalence of exprs
Add exmaple about proving equivalence of exprs

JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton