Comment by auggierose

Although, I am starting to wonder how bad the constant hardcoding case really is.

As I said before, it is to be expected: Providing a precomputed value is a very fast implementation!

I am not entirely convinced yet that it would damage what RUNTIME can say about variable inputs, so I guess a complete analysis of your hardcoded_a_b example is necessary after all.