Add support for basic blocks, unary/binary unspecs, conditional branches, ...