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