Example syntax

batch_ltl_cmds=on