StateSpaceFromPropagator initial version working
Cosmetic changes