Use basic blocks as keys instead of values