Check SP refinement works well when starting from the correct solution (i.e. positive control)
