signed_integer_overflow_error  655 src/Simplify.cpp                 expr = signed_integer_overflow_error(a.type());
signed_integer_overflow_error 1019 src/Simplify.cpp                 expr = signed_integer_overflow_error(a.type());
signed_integer_overflow_error 1488 src/Simplify.cpp                 expr = signed_integer_overflow_error(a.type());