Proto: examine the classification of the Subtraction_underflow error

The following discussion from !5557 (merged) should be addressed:

• @Saroupille started a discussion: (+11 comments)

  I am not sure why this error is temporary?