Right now, Symba7 integrator is not tested by default when we push, leading us to overlook actual problems.