Moving change_in_concl, change_in_hyp, change_concl to Proofview.tactic.
Step 1
Step 2
Step 4 : atomize_then