key_commit: added statement for beaver