minor
minor before <+ deferred propagation
fixing <+ creates duplicates in proof
split rewritting to add install_bud_rule
Merge branch 'masterStop' into deferredInPersistent
reafactor test with do_extra_tick
remove duplicated proofs
add no provenance flag to test
Merge remote-tracking branch 'upstream/deferredInPersistent' into experimental

Conflicts:
	lib/budoverride/bud.rb
	lib/budoverride/executor/elements.rb
	lib/wlbud.rb
	lib/wlbud/wlprogram.rb