def METHOD_NAME(contract: Contract) -> List[StateVariable]:
    ret = []
    for f in contract.all_functions_called:
        if isinstance(f, Function):
            ret += f.state_variables_read
    for m in contract.modifiers:
        ret += m.state_variables_read
    return ret