-R ../LibHyps LibHyps

-arg -w
-arg -undo-batch-mode

demo.v
incremental1.v
incremental1_fix.v
#incremental2.v
incremental2_fix.v
#incremental3.v
incremental3_fix.v
incremental5.v
incremental5_libhyp.v
incremental5_nolibhyps.v
