add unfolding lemma for bool_decide: bool_decide_decide

Merged Ralf Jung requested to merge ralf/bool_decide into master

Merge request reports