fix: finish? checks whether solver propagation steps are needed

fix: finish? checks whether solver propagation steps are needed #14296