#2442: Adapted locking in the symbolic expression trees interpreters when incrementing the evaluated solutions.