acl2 commit