Added very rudimentary basic block analysis
Basic block implementation is now working