def METHOD_NAME(ud: UD) -> WithClause:
    d = Drawer(ud)
    op = d.draw(query_operations)
    num = d.draw(integers(min_value=0))
    nav = d.draw(navigation())
    trm = d.optional(term)
    wc = d.optional(METHOD_NAME())
    return WithClause(WithClauseFilter(op, num), nav, trm, wc)