evaluate after every tracing