Function foo

    line 29
    FAILED to compute Bound