let extract_stmt_list=function | StatementBlock(lst) -> lst | _ -> raise ( RuntimeError.InternalError "expected statement block" )