def METHOD_NAME(self, code_loc: "CodeLocation", op: int = OP_BEFORE) -> Set["Definition"]:
    if op == OP_BEFORE:
        if code_loc.stmt_idx != 0:
            loc = code_loc.block_addr, code_loc.block_idx, code_loc.stmt_idx - 1, OP_AFTER
        else:
            loc = code_loc.block_addr, code_loc.block_idx, 0, OP_BEFORE
    else:
        loc = code_loc.block_addr, code_loc.block_idx, code_loc.stmt_idx, OP_AFTER
    return set() if loc not in self.loc_to_defs else self.loc_to_defs[loc]