expose ensures_
update ivory-backend-acl2