General flags are all prefixed with -f. Unless otherwise noted, all options are negatable with a -f no- counterpart.
Actually run the simulator's interpreter. Enabled by default. -f no-run is explicitly needed when all that is desired are diagnostic dumps.
Diagnostic. Print result of expression allocation prior to execution of the simulator.
Run some internal structural consistency checks on nodes and expressions prior to simulation. Enabled by default.
Diagnostic. Print a dot format representation of the whole-program production rule graph. Recommend using with -f no-run.
By default, iskeeper=1 rules are omitted entire from simulation because undriven nodes are assumed to be state-holding, and do not change value. With this option turned on, rules marked iskeeper are enabled, but interpreted as having attributes weak=1 and after=0, i.e. weak and delay-less.