Finish beta-reduktion diagram.