public bool IsBlockLinearProcedureExit(Block block) { if (block.Statements.Count == 0) return false; return block.Statements.Last.Instruction is ReturnInstruction; }