add solution getter to the EWSB_solver interface
check solution