def METHOD_NAME():
    A_at = at.matrix("A")
    x_at = at.vector("x")
    y_at = at.dot(A_at, x_at)
    q = var()
    res = list(run(None, q, eq(y_at, etuple(_dot, q, x_at))))
    assert res == [A_at]