small step evaluation runs correctly