There are two problems:
1) default clock initialiser (0) obscures SMC models by having value zero which does not always make sense, it also obscures query results (see bug 543)
2) stochastic and dynamical systems may have random initial states, it would be convenient to define it with initialiser.
Created attachment 309 [details]
non-zero initializer break invariant in initial location