finished eval, wrote a single test case for it (hard to test many cases, like stuck expressions or diverging expressions)