add_init [-h] | simple-expression
Modifies the initial states.
simple-expression is evaluated and conjoined with
the set of initial states to form the new set of initial
states. This command has the same effect of an INIT
declaration in the original input file. Before executing this
command you have to execute the dump_model
command.