Prepare example of simple symbolic execution