Implement the final missing bits for block extractor support. Now bugpoint