For example TSSetFromOptions() creates SNES, TSSetRHSFunction() creates SNES, TSSetProblemType() creates SNES! This is pitifully bad design, TS should only be creating SNES when SNES is needed! Unfortunately TS is now so badly contaminated with SNES it is not trivial to remove it.