add block Preds
reformat
turn Block and Function into Instrs