This probably requires some internal API refactoring. At least: * Pull iongraph out of HIR *or* write HIR and LIR separately * Get basic blocks into LIR