Wrong handling of block-local function declarations (in Elab.ml).