This function makes some default choices on the
modifyInspectGuarded machinery: convergence is assessed using
the squared L2 distance between consecutive states, and divergence is
detected when this function is increasing between pairs of
measurements.