Added one more StringSolver benchmark and re-enabled the equation propagation phase after correcting the bug.