seminaive evaluator working on paths example