def METHOD_NAME(self, code_loc: "CodeLocation") -> None:
    """
    Only support moving from a statement to the next statement within one basic block.
    """
    self.complete_loc()
    self.curr_loc = code_loc.block_addr, code_loc.block_idx, code_loc.stmt_idx
    if (
        code_loc.stmt_idx is not None
        and code_loc.stmt_idx > self._node_max_stmt_id[(code_loc.block_addr, code_loc.block_idx)]
    ):
        self._node_max_stmt_id[(code_loc.block_addr, code_loc.block_idx)] = code_loc.stmt_idx