Better checking of Block arguments