let add_stmt_spec asked_bh (acc_before, acc_after) s spec = let acc_before = add_spec_pre (Some s) (Some asked_bh) acc_before spec in let acc_after = add_spec_post (Some s) (Some asked_bh) acc_after spec in (acc_before, acc_after)