Refactor execution and evaluation and add another faulty example of
do-expression usage