Robustly check if lower bound function is equivalent to fixed gs_b()

Robustly check if lower bound function is equivalent to fixed gs_b() #935