sigmastate.exceptions
an optional cause for the exception
the error message
an optional source context with location information