Find all basic blocks correctly