Function foo

    line 19
    FAILED to compute Bound