The initial state inconsistency

So far, not specifying a variable in the init condition was interpreted as constraining it to 0. I have changed the default initialization of unspecified variables to the interval (0, INFINITY), so the unspecified variables are now unconstrained.