Instead of (S, ->, s0) now prints JSon