Bugfix: Enforcing exactly one initial state

The solvers will consider impossible initial states without this exclusion. Apparent when running with init_option=0 to jtlv.synthesize().