N0 evaluator works with dynamic scope, removed reader and writer instances for state (didnt work due to overlap)