Made prepare_asm, prepare_concl solve goal if an assumption or conclusion being prepared is true or false.
Made prepare_asm, prepare_concl solve goal if an assumption or
conclusion being prepared is true or false.

mwb-cde/hseq-prover