Function foo

    line 8
    FAILED to compute Bound