Use observers for solver debugging